* make-dist: Don't distribute old, unsupported w32 build method.
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Nov 2013 08:13:09 +0000 (00:13 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Nov 2013 08:13:09 +0000 (00:13 -0800)
commitbb30db0624485e1bdc638d6a50794223bfcc5f3a
tree1742e6a647c13db9c04c08bb75cb79de9cc7c05a
parentba424aff7d6dd1e47e5aa83c8fa5949428dafdd8
* make-dist: Don't distribute old, unsupported w32 build method.
ChangeLog
make-dist